(set-info :source |fuzzsmt|)
(set-info :smt-lib-version 2.0)
(set-info :category "random")
(set-info :status unknown)
(set-logic QF_LRA)
(declare-fun v0 () Real)
(assert (let ((e1 1))
(let ((e2 (/ e1 (- e1))))
(let ((e3 (- v0)))
(let ((e4 (<= v0 v0)))
(let ((e5 (distinct e3 e2)))
(let ((e6 (ite e5 v0 e2)))
(let ((e7 (ite e4 e2 e2)))
(let ((e8 (ite e4 v0 e7)))
(let ((e9 (ite e4 e3 e8)))
(let ((e10 (distinct e9 e6)))
(let ((e11 (< e8 v0)))
(let ((e12 (distinct e6 e7)))
(let ((e13 (<= e9 e8)))
(let ((e14 (distinct e7 e2)))
(let ((e15 (> e3 v0)))
(let ((e16 (and e12 e13)))
(let ((e17 (or e10 e15)))
(let ((e18 (not e11)))
(let ((e19 (or e4 e17)))
(let ((e20 (not e16)))
(let ((e21 (= e14 e19)))
(let ((e22 (or e5 e20)))
(let ((e23 (xor e21 e22)))
(let ((e24 (= e18 e18)))
(let ((e25 (xor e23 e24)))
e25
))))))))))))))))))))))))))

(check-sat)
